Hardware Specification, Verification and Synthesis: Mathematical Aspects

Språk
Engelska
Förlag År Ort Om boken ISBN
Springer New York 1990 Utgivningsland okänt / Ej specificerat